IncH: An Incremental Compiler for a Functional Language
نویسندگان
چکیده
IncH (Incremental Hope) is an incremental compiler for the functional language Hope, that is currently under development. The compiler is part of an interactive development environment, which makes small changes to the target code as the user uses a GUI editor to make changes to the source code. To do this, the IncH system maintains multiple intermediate representations of the source program, with interrepresentational links maintaining correspondence information. This paper discusses the structure of the IncH compiler, as well as discussing aspects unique to the compilation of functional languages.
منابع مشابه
POPL: G: Refinement Types for Incremental Computational Complexity
With recent advances, programs can be compiled to efficiently respond to incremental input changes. However, there is no language-level support for reasoning about the time complexity of incremental updates. Motivated by this gap, we present CostIt, a higher-order functional language with a lightweight refinement type system for proving asymptotic bounds on incremental computation time. Type re...
متن کاملImperative Functional Programming Brief Summary
Our Haskell compiler has C as its target code. Given a Haskell program performing an I/O loop, the compiler can produce C code which is very similar to that which one would write by hand. Its eeciency is achieved by applying simple program transformations. We use unboxed data types 4] to expose representation and order-of-evaluation detail to code-improving transformations, rather than relying ...
متن کاملThe ACME compiler
Described in this paper is an implementation of a true incremental compiler designed and executed at the Stanford Computation Center Real-Time Facility, located at the Stanford University Medical School. The compiler translates a powerful subset of PL/1 into machine language for use in a timesharing system. The problems of efficiency versus flexibility are discussed, and some examples of the te...
متن کاملAn Incremental, Exploratory and Transformational Environment for the Lazy Functional Programming
Most programming environments for functional languages offer a single tool used to evaluate programs either a batch compiler or an interpreter with a read-eval-print loop. This paper presents a programming environment that supports not only evaluation, but also a range of other programming activities including transformation. The environment is designed to encourage working in an incremental an...
متن کاملZipper-based Embedding of Modern Attribute Grammar Extensions
This research abstract describes the research plan for a Ph.D project. We plan to define a powerful and elegant embedding of modern extensions to attribute grammars. Attribute grammars are a suitable formalism to express complex, multiple traversal algorithms. In recent years there has been a lot of work in attribute grammars, namely by defining new extensions to the formalism (forwarding and r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006